Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis
نویسندگان
چکیده
منابع مشابه
Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis
Ensuring the correctness of middleware that ensures interoperability of various medical devices is one of the biggest challenges in the e-health domain. Traditionally, these Device Interoperability Middleware (DIM) are analyzed using software testing. However, given the inherent incompleteness of testing and the randomness of the user behaviours, the analysis results are not guaranteed to be ac...
متن کاملReliability Improvement Using Power Control in Device-to-Device Networks
In this paper, a new power control scheme is proposed to improve the reliability of a Device-to-Device (D2D) communication. The proposed scheme is optimal in terms of the probability of successful transmission. All transmitters in the network form a homogeneous Poisson Point Process (PPP). The complementary cumulative distribution function (CCDF) of the transmit power is derived at D2D receiver...
متن کاملanalysis of ruin probability for insurance companies using markov chain
در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...
15 صفحه اولReliability Improvement Strategies for HVDC Transmission System
This paper analyses reliability data of HVDC systems of Southern China Power Grid. The weak links of HVDC systems’ operational reliability are DC control and protection, valve hall and valve cooling system and transmission lines. Some improvement measures and HVDC system reliability technology are proposed in this paper.
متن کاملIMAGE: a middleware for heterogeneous simulations interoperability
Middlewares are used to simplify the integration of applications with different hardware and software requirements. Currently, a wide variety of middleware technologies are made available off-the-shelf to alleviate some of the complexity of developing distributed simulations. In our project, IMAGE, we have designed a middleware-based architecture to support coupling of existent heterogeneous si...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scalable Computing: Practice and Experience
سال: 2016
ISSN: 1895-1767
DOI: 10.12694/scpe.v17i3.1178